Research in Computing Science, Vol. 16, pp. 23-34, 2005.
PDF: A Logic Programming Formalization for Circumscription PDF: A Logic Programming Formalization for Circumscription